def f1(a : e1, b : e2) -> r1: ...

def f2(a : e1, b : e2) -> r2: ...

def f3(a) -> r3: ...

def f4(a : e4, b): ...

def f5(a: e5) -> r5: ...

